Generación automática de pruebas de validación de prácticas de sistemas distribuidos

La corrección de prácticas de sistemas distribuidos es una tarea costosa para el profesor que evalúa dichos ejercicios. Esta tarea puede ser sistematizada mediante la ejecución de tests automatizados cuya elaboración representa una alta inversión de tiempo para cada práctica a corregir. Así surge la necesidad de desarrollar una herramienta que, a partir de pequeñas especificaciones proporcionadas por el usuario, genere fácil y rápidamente dichos scripts libres de errores de sintaxis. Con este fin, se ha desarrollado una herramienta web flexible, sencilla de utilizar y que permite ahorrar tiempo dedicado a la elaboración de scripts.Peer Reviewe

Can gamification help in software testing education? Findings from an empirical study

Software testing is an essential knowledge area required by industry for software engineers. However, software engineering students often consider testing less appealing than designing or coding. Consequently, it is difficult to engage students to create effective tests. To encourage students, we explored the use of gamification and investigated whether this technique can help to improve the engagement and performance of software testing students. We conducted a controlled experiment to compare the engagement and performance of two groups of students that took an undergraduate software testing course in different academic years. The experimental group is formed by 135 students from the gamified course whereas the control group is formed by 100 students from the non-gamified course. The data collected were statistically analyzed to answer the research questions of this study. The results show that the students that participated in the gamification experience were more engaged and achieved a better performance. As an additional finding, the analysis of the results reveals that a key aspect to succeed is the gamification experience design. It is important to distribute the motivating stimulus provided by the gamification throughout the whole experience to engage students until the end. Given these results, we plan to readjust the gamification experience design to increase student engagement in the last stage of the experience, as well as to conduct a longitudinal study to evaluate the effects of gamification

Generación automática de pruebas de validación de prácticas de sistemas distribuidos

La corrección de prácticas de sistemas distribuidos es una tarea costosa para el profesor que evalúa dichos ejercicios. Esta tarea puede ser sistematizada mediante la ejecución de tests automatizados cuya elaboración representa una alta inversión de tiempo para cada práctica a orregir. Así surge la necesidad de desarrollar una herramienta que, a partir de pequeñas especificaciones proporcionadas por el usuario, genere fácil y rápidamente dichos scripts libres de errores de sintaxis. Con este fin, se ha desarrollado una herramienta web flexible, sencilla de utilizar y que permite ahorrar tiempo dedicado a la elaboración de scripts

Mutating database queries

A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Suite. The mutation operators cover a wide spectrum of SQL features, including the handling of null values. Additional experiments are performed to explore whether the cost of executing mutants can be reduced using selective mutation or the test suite size can be reduced by using an appropriate ordering of the mutants. The SQL mutation approach can be helpful in assessing the adequacy of database test cases and their development, and as a tool for systematically injecting faults in order to compare different database testing technique

Using an SQL Coverage Measurement for Testing Database Applications

Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. When automation of software testing is mentioned in the research, this is normally associated with programs written in imperative and structured languages. However, the problem of automated software testing applied to programs that manage databases using SQL is still an open issue. This paper presents a measurement of the coverage of SQL queries and the tool that automates it. We also show how database test data may be revised and changed using this measurement by means of completing or deleting information to achieve the highest possible value of coverage of queries that have access to the database

Planificación de la producción en talleres de cilindros de laminación mediante lógica borrosa.

El desarrollo de este modelo incorpora la lógica borrosa a la gestión del taller de cilindros de la factoría avilesina de Aceralia, con el objetivo primordial de agilizar el proceso de toma de decisiones en lo relativo a las prioridades

Constraint-based Test Database Generation for SQL Queries

Populating test databases with meaningful test data is a difficult task as it involves generating data for many joined tables that must be diverse enough to be able to reveal faults and small enough to make the testing process efficient. This paper proposes an approach for the automatic generation of a test database for a set of SQL queries using a test criterion specifically tailored for the SQL language (SQLFpc). Given as input a schema database and a set of test requirements derived from the application of the test criterion to the target queries, the approach returns a database instance which satisfies the test requirements. Both the schema and the test requirements are modeled in the Alloy language, after which the analyzer generates the test database. The approach is evaluated on a real case study and the results show its feasibility, generating a test database of reduced size with an elevated coverage and mutation score

Evaluación del mantenimiento de la consistencia lógica en Cassandra

Jornadas de Ingeniería del Software y Bases de Datos (JISBD) (23ª. 2018. Sevilla